https://www.abdpost.com/what-happened-to-the-cast-of-die-hard-after-the-credits-rolled/220020/